A State-Space Striatal Model
نویسندگان
چکیده
منابع مشابه
Reachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملA study on striatal local electrical potential changes in an animal model of Parkinson's disease
Parkinson’s disease (PD) is a neurodegenerative disorder that does not develop spontaneously in some animal species. PD can be induced experimentally in some laboratory animals including mouse, rat and horse. Globus pallidus (GP) and substantia nigra pars compacta (SNc) are damaged in patients with PD. The hallmark of PD is a progressive impaired control of movement, an alteration of autonomic ...
متن کاملA study on striatal local electrical potential changes in an animal model of Parkinson's disease
Parkinson’s disease (PD) is a neurodegenerative disorder that does not develop spontaneously in some animal species. PD can be induced experimentally in some laboratory animals including mouse, rat and horse. Globus pallidus (GP) and substantia nigra pars compacta (SNc) are damaged in patients with PD. The hallmark of PD is a progressive impaired control of movement, an alteration of autonomic ...
متن کاملA Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملOnline State Space Model Parameter Estimation in Synchronous Machines
The purpose of this paper is to present a new approach based on the Least Squares Error method for estimating the unknown parameters of the nonlinear 3rd order synchronous generator model. The proposed method uses the mathematical relationships between the machine parameters and on-line input/output measurements to estimate the parameters of the nonlinear state space model. The field voltage is...
متن کامل